Complete restrictions of the intersection type discipline
نویسندگان
چکیده
منابع مشابه
Complete Restrictions of the Intersection Type Discipline
In this paper the intersection type discipline as defined in [Barendregt et al. ’83] is studied. We will present two different and independent complete restrictions of the intersection type discipline. The first restricted system, the strict type assignment system, is presented in section two. Its major feature is the absence of the derivation rule (≤) and it is based on a set of strict types. ...
متن کاملOn Type Inference in the Intersection Type Discipline
We introduce a new unification procedure for the type inference problem in the intersection type discipline. We show that unification exactly corresponds to reduction in an extended λ-calculus, where one never erases arguments that would be discarded by ordinary β-reduction. We show that our notion of unification allows us to compute a principal typing for any strongly normalizing λ-expression.
متن کاملA Complete Characterization of the Complete Intersection-Type Theories
We characterize those intersection-type theories which yield complete intersection-type assignment systems for λ-calculi, with respect to the three canonical set-theoretical semantics for intersectiontypes: the inference semantics, the simple semantics and the F-semantics. These semantics arise by taking as interpretation of types subsets of applicative structures, as interpretation of the inte...
متن کاملthe investigation of the relationship between type a and type b personalities and quality of translation
چکیده ندارد.
A Complete Characterization of Complete Intersection-Type Theories
We characterize those intersection-type theories which yield complete intersection-type assignment systems for λ-calculi, with respect to the three canonical set-theoretical semantics for intersection-types: the inference semantics, the simple semantics and the F-semantics.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theoretical Computer Science
سال: 1992
ISSN: 0304-3975
DOI: 10.1016/0304-3975(92)90297-s